#include "UI/ui.h"

input_device_t dx_input;
void (__stdcall *send_navdata)(const navdata_demo_t *nd); 
void (__stdcall *send_video)(int width, int height, uint8_t *buffer);